#!/bin/bash 
# Here we figure out DL_SERVER, SOURCE_ROOT, WEB_DIR, YUM_SYS,etc.

. functions.sh


echo "--> Restart tomcat"

if [[ "$YUM_SYS" =~ ^7\..* ]]; then
sudo systemctl restart tomcat
fi

if [[ "$YUM_SYS" =~ ^6\..* ]]; then
sudo service tomcat restart
fi
